$\forall$$A$:Realizer, $i$, $x$:Id, $k$:Knd, ${\it test}$:(State(R{-}state($A$;$i$))$\rightarrow$Valtype(R{-}da($A$;$i$);$k$)$\rightarrow\mathbb{B}$).
\\[0ex]R{-}Feasible($A$)
\\[0ex]$\Rightarrow$ $\neg$$x$ $\in$ dom(R{-}state($A$;$i$))
\\[0ex]$\Rightarrow$ hasloc($k$;$i$)
\\[0ex]$\Rightarrow$ $\neg$write{-}restricted($A$;$i$;$k$)
\\[0ex]$\Rightarrow$ ($\forall$$y$:Id. $y$ $\in$ dom($x$ : $\mathbb{B}$ $\oplus$ R{-}state($A$;$i$)) $\Rightarrow$ $\neg$read{-}restricted($A$; $i$; $y$))
\\[0ex]$\Rightarrow$ $A$ $\parallel$ R{-}base{-}recognize($i$;R{-}state($A$;$i$);$x$;$k$;Valtype(R{-}da($A$;$i$);$k$);${\it test}$)